Taming the Wrapping of Integer Arithmetic

نویسندگان

  • Axel Simon
  • Andy King
چکیده

Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent overflows are rare. However, a sound static analysis must reason about overflowing calculations and conversions between unsigned and signed integers; the latter remaining a common source of subtle programming errors. Rather than polluting an analysis with the low-level details of modelling two’s complement wrapping behaviour, this paper presents a computationally light-weight solution based on polyhedral analysis which eliminates the need to check for wrapping when evaluating most (particularly linear) assignments.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Wrapping Eeect, Ellipsoid Arithmetic, Stability and Conndence Regions

The wrapping eeect is one of the main reasons that the application of interval arithmetic to the enclosure of dynamical systems is diicult. In this paper the source of wrapping is analyzed algebraically and geometrically. A new method for reducing the wrapping eeect is proposed, based on an interval ellipsoid arithmetic. Applications are given to the veriication of stability regions for nonline...

متن کامل

The wrapping effect, ellipsoid arithmetic, stability and confidence regions

The wrapping effect is one of the main reasons that the application of interval arithmetic to the enclosure of dynamical systems is difficult. In this paper the source of wrapping is analyzed algebraically and geometrically. A new method for reducing the wrapping effect is proposed, based on an interval ellipsoid arithmetic. Applications are given to the verification of stability regions for no...

متن کامل

Implementation and improvements of affine arithmetic

Affine arithmetic is a well-known tool to reduce the wrapping effect of ordinary interval arithmetic. We discuss several improvements both in theory and in terms of practical implementation. In particular details of INTLAB’s affine arithmetic toolbox are presented. Computational examples demonstrate advantages and weaknesses of the approach.

متن کامل

Partial Evaluation of Inter-language Wrappers

Wrapping external components by scripts can be a performance bottleneck if inter-language bridging is frequent. Piccola is a pure composition language that wraps components according to a specific composition style. This wrapping must be efficient, since even arithmetic operations are done by external components. In this paper, we present how to use partial evaluation to overcome much of the ov...

متن کامل

First as Farce, Then as Filmfarsi: Film Adaptation of Shakespeare’s The Taming of the Shrew in Iran

This article is concerned with William Shakespeare’s famous farce play The Taming of the Shrew and its Persian adaptation as an Iranian film called Gorbe ra dame Hejleh Mikoshand in 1969. The point that informs the inquiry is the way the film departs and differs from the play in relation to the issue of women within the patriarchal society. The play and the film will be examined separately in d...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007